Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
451	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
452	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics
453	FEASIBILITY STUDY - ASSESSING THE IMPACT OF COMMUNITY HOUSING Add to Reading List Source URL: www.housing.nsw.gov.au Language: English - Date: 2015-02-16 10:02:48 Business Impact assessment Housing Program evaluation Affordable housing Social return on investment Logic model Social accounting AccountAbility Evaluation Evaluation methods Sociology
454	Evaluation Guidance Note Series No.8 UNIFEM Evaluation Unit October 2009 Add to Reading List Source URL: www.endvawnow.org Language: English - Date: 2015-03-22 05:11:35 Methodology Impact assessment Logic model Empowerment evaluation Program evaluation Evaluation methods Evaluation Sociology
455	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
456	Program logic template Program logic (or ‘theory of change’) is used to clearly set out in one page the connections between resources (inputs), activities (outputs) and intended short, medium and long-term outcomes. Add to Reading List Source URL: www.arts.qld.gov.au Language: English - Date: 2013-11-30 22:48:30 Logic model Project management Program management Evaluation methods
457	Standard Evaluation Framework for weight management interventions National Obesity Observatory. Standard Evaluation Framework for weight management interventions 2 Add to Reading List Source URL: www.getmoving.tas.gov.au Language: English - Date: 2012-06-28 01:24:49 Science Obesity Standard evaluation framework Randomized controlled trial Logic model Public health Program evaluation Impact evaluation Health Evaluation Evaluation methods
458	Biodiversity Fund Project MERI Plan Template For Reef Rescue Systems Repair and Urban Water Quality On-ground grants The purpose of this plan is to clearly set out the project activities to be undertaken, and the intend Add to Reading List Source URL: www.nrm.gov.au Language: English - Date: 2015-03-20 21:19:16 Knowledge Program management Software development process Systems engineering process Biodiversity Logic model Project management Science Management
459	RHCE_Logo_Artwork_For_USB_Print Add to Reading List Source URL: www.ruralspecialist.org.au Language: English - Date: 2014-10-19 22:54:23 Impact assessment Science Program evaluation Logic model Impact evaluation Michael Quinn Patton Needs assessment Empowerment evaluation Evaluation Evaluation methods Sociology
460	WISEWOMAN Evaluation Toolkit Section 4 Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2015-01-27 12:15:58 Science Impact assessment Program evaluation Impact evaluation Logic model Centers for Disease Control and Prevention Empowerment evaluation Evaluation Evaluation methods Sociology

UPDATE